[next] [prev] [prev-tail] [tail] [up]

Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 93 95 166 108 428 129 279

N.S.

1 1.00 0.65 0.66 1.16 0.76 2.99 0.90 1.95

time (sec)

N/A 0.272 0.444 7.216 0.208 0.285 0.270 0.335 2.793

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 96 75 132 87 320 102 240

N.S.

1 1.00 0.81 0.64 1.12 0.74 2.71 0.86 2.03

time (sec)

N/A 0.159 0.362 3.404 0.198 0.273 0.193 0.310 2.667

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 65 57 98 62 189 76 100

N.S.

1 1.00 0.71 0.63 1.08 0.68 2.08 0.84 1.10

time (sec)

N/A 0.089 0.634 4.272 0.206 0.259 0.124 0.312 1.267

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 59 73 82 68 0 131 159

N.S.

1 1.00 0.94 1.16 1.30 1.08 0.00 2.08 2.52

time (sec)

N/A 0.165 0.132 3.144 0.195 0.279 0.000 0.347 1.624

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 71 67 92 92 0 132 153

N.S.

1 1.00 1.54 1.46 2.00 2.00 0.00 2.87 3.33

time (sec)

N/A 0.146 0.024 4.801 0.213 0.298 0.000 0.372 1.598

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 92 92 130 109 0 141 176

N.S.

1 1.00 1.48 1.48 2.10 1.76 0.00 2.27 2.84

time (sec)

N/A 0.187 0.024 5.638 0.215 0.276 0.000 0.383 1.967

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 60 106 162 114 0 205 165

N.S.

1 1.00 0.66 1.16 1.78 1.25 0.00 2.25 1.81

time (sec)

N/A 0.239 0.376 8.119 0.215 0.285 0.000 0.351 4.372

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 84 136 218 143 0 254 211

N.S.

1 1.00 0.67 1.09 1.74 1.14 0.00 2.03 1.69

time (sec)

N/A 0.295 0.613 9.635 0.197 0.286 0.000 0.365 5.480

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

213 213 171 122 296 145 821 196 366

N.S.

1 1.00 0.80 0.57 1.39 0.68 3.85 0.92 1.72

time (sec)

N/A 0.562 1.473 7.818 0.205 0.276 0.412 0.345 2.974

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 132 101 236 122 570 160 322

N.S.

1 1.00 0.73 0.56 1.30 0.67 3.15 0.88 1.78

time (sec)

N/A 0.389 1.216 5.354 0.218 0.254 0.292 0.350 2.782

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 128 81 190 99 420 129 174

N.S.

1 1.00 0.93 0.59 1.38 0.72 3.04 0.93 1.26

time (sec)

N/A 0.182 0.800 4.486 0.202 0.275 0.203 0.305 1.337

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 120 121 97 153 108 0 235 226

N.S.

1 1.00 1.01 0.81 1.28 0.90 0.00 1.96 1.88

time (sec)

N/A 0.388 1.951 5.479 0.200 0.282 0.000 0.379 1.843

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 174 124 151 130 0 198 232

N.S.

1 1.00 1.44 1.02 1.25 1.07 0.00 1.64 1.92

time (sec)

N/A 0.430 3.375 5.510 0.207 0.281 0.000 0.373 1.950

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 259 133 192 143 0 204 244

N.S.

1 1.00 2.11 1.08 1.56 1.16 0.00 1.66 1.98

time (sec)

N/A 0.421 4.117 7.010 0.204 0.284 0.000 0.327 2.289

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 134 77 146 224 150 0 250 440

N.S.

1 1.00 0.57 1.09 1.67 1.12 0.00 1.87 3.28

time (sec)

N/A 0.416 1.695 8.598 0.214 0.304 0.000 0.348 2.412

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 88 185 316 157 0 290 245

N.S.

1 1.00 0.55 1.16 1.98 0.98 0.00 1.81 1.53

time (sec)

N/A 0.505 1.881 9.241 0.206 0.276 0.000 0.355 5.009

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 109 200 360 180 0 341 286

N.S.

1 1.00 0.56 1.02 1.84 0.92 0.00 1.74 1.46

time (sec)

N/A 0.563 2.653 11.275 0.213 0.284 0.000 0.347 2.548

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

265 265 204 147 425 168 1149 229 410

N.S.

1 1.00 0.77 0.55 1.60 0.63 4.34 0.86 1.55

time (sec)

N/A 0.730 1.033 9.258 0.212 0.276 0.573 0.346 3.144

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 207 171 124 354 145 932 196 366

N.S.

1 1.00 0.83 0.60 1.71 0.70 4.50 0.95 1.77

time (sec)

N/A 0.442 0.564 6.743 0.206 0.272 0.442 0.379 3.119

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 148 107 282 122 658 163 322

N.S.

1 1.00 0.89 0.64 1.70 0.73 3.96 0.98 1.94

time (sec)

N/A 0.254 0.849 5.287 0.206 0.269 0.308 0.372 2.922

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 147 117 233 131 0 286 242

N.S.

1 1.00 0.91 0.72 1.44 0.81 0.00 1.77 1.49

time (sec)

N/A 0.513 2.245 5.040 0.213 0.290 0.000 0.400 2.188

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 227 148 210 156 0 281 290

N.S.

1 1.00 1.46 0.95 1.35 1.00 0.00 1.80 1.86

time (sec)

N/A 0.551 3.636 6.814 0.205 0.290 0.000 0.376 2.156

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 256 178 237 165 0 280 319

N.S.

1 1.00 1.46 1.02 1.35 0.94 0.00 1.60 1.82

time (sec)

N/A 0.587 6.027 6.372 0.209 0.275 0.000 0.356 2.621

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 354 175 274 168 0 288 541

N.S.

1 1.00 2.09 1.04 1.62 0.99 0.00 1.70 3.20

time (sec)

N/A 0.609 8.196 8.136 0.203 0.294 0.000 0.375 2.881

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 98 213 366 173 0 301 636

N.S.

1 1.00 0.54 1.16 2.00 0.95 0.00 1.64 3.48

time (sec)

N/A 0.585 3.477 9.655 0.205 0.288 0.000 0.385 3.408

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 212 109 237 446 180 0 341 292

N.S.

1 1.00 0.51 1.12 2.10 0.85 0.00 1.61 1.38

time (sec)

N/A 0.688 4.738 11.099 0.210 0.278 0.000 0.370 5.089

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 244 132 270 559 203 0 392 337

N.S.

1 1.00 0.54 1.11 2.29 0.83 0.00 1.61 1.38

time (sec)

N/A 0.773 6.496 12.591 0.213 0.276 0.000 0.402 5.061

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

304 304 237 165 579 191 1640 261 454

N.S.

1 1.00 0.78 0.54 1.90 0.63 5.39 0.86 1.49

time (sec)

N/A 0.928 1.253 12.185 0.224 0.290 0.856 0.387 3.608

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 243 204 147 483 168 1258 229 410

N.S.

1 1.00 0.84 0.60 1.99 0.69 5.18 0.94 1.69

time (sec)

N/A 0.494 0.763 9.125 0.207 0.283 0.592 0.388 3.404

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 168 126 400 145 1005 196 334

N.S.

1 1.00 0.84 0.63 2.00 0.72 5.02 0.98 1.67

time (sec)

N/A 0.300 1.182 7.105 0.226 0.274 0.459 0.386 4.622

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 182 136 325 154 0 337 1151

N.S.

1 1.00 0.93 0.70 1.67 0.79 0.00 1.73 5.90

time (sec)

N/A 0.630 4.299 7.180 0.231 0.270 0.000 0.362 2.976

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 246 167 290 179 0 332 1244

N.S.

1 1.00 1.26 0.85 1.48 0.91 0.00 1.69 6.35

time (sec)

N/A 0.725 8.805 8.173 0.225 0.277 0.000 0.374 3.117

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 299 201 296 191 0 347 373

N.S.

1 1.00 1.45 0.98 1.44 0.93 0.00 1.68 1.81

time (sec)

N/A 0.769 9.647 8.006 0.234 0.284 0.000 0.402 3.058

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 219 440 220 320 191 0 347 625

N.S.

1 1.00 2.01 1.00 1.46 0.87 0.00 1.58 2.85

time (sec)

N/A 1.018 12.754 9.306 0.230 0.271 0.000 0.389 3.771

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 838 242 416 191 0 339 1342

N.S.

1 1.00 3.86 1.12 1.92 0.88 0.00 1.56 6.18

time (sec)

N/A 1.059 13.058 8.824 0.216 0.299 0.000 0.392 3.554

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 117 265 496 196 0 352 995

N.S.

1 1.00 0.52 1.18 2.20 0.87 0.00 1.56 4.42

time (sec)

N/A 0.762 6.028 10.425 0.224 0.287 0.000 0.391 3.132

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 253 130 270 645 203 0 392 338

N.S.

1 1.00 0.51 1.07 2.55 0.80 0.00 1.55 1.34

time (sec)

N/A 0.922 6.488 13.070 0.230 0.275 0.000 0.397 5.084

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 149 311 731 226 0 443 381

N.S.

1 1.00 0.52 1.08 2.55 0.79 0.00 1.54 1.33

time (sec)

N/A 0.960 6.975 14.944 0.223 0.275 0.000 0.427 5.284

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 393 108 525 134 2688 249 189

N.S.

1 1.00 2.26 0.62 3.02 0.77 15.45 1.43 1.09

time (sec)

N/A 0.266 2.547 2.050 0.305 0.276 2.620 0.329 3.420

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 307 87 400 114 1739 207 153

N.S.

1 1.00 2.21 0.63 2.88 0.82 12.51 1.49 1.10

time (sec)

N/A 0.244 2.464 1.824 0.306 0.270 1.640 0.312 2.867

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 213 67 273 91 993 138 112

N.S.

1 1.00 1.94 0.61 2.48 0.83 9.03 1.25 1.02

time (sec)

N/A 0.128 1.623 1.814 0.296 0.260 1.105 0.297 1.921

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 67 43 165 62 330 88 65

N.S.

1 1.00 1.24 0.80 3.06 1.15 6.11 1.63 1.20

time (sec)

N/A 0.137 0.558 1.696 0.295 0.256 0.717 0.305 1.529

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 163 60 146 91 0 92 113

N.S.

1 1.00 3.20 1.18 2.86 1.78 0.00 1.80 2.22

time (sec)

N/A 0.132 1.467 2.787 0.292 0.295 0.000 0.341 1.436

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 256 96 218 128 0 121 79

N.S.

1 1.00 3.61 1.35 3.07 1.80 0.00 1.70 1.11

time (sec)

N/A 0.202 2.357 2.630 0.212 0.277 0.000 0.314 1.402

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 256 136 356 171 0 174 143

N.S.

1 1.00 2.19 1.16 3.04 1.46 0.00 1.49 1.22

time (sec)

N/A 0.238 3.537 2.380 0.223 0.256 0.000 0.339 1.703

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 351 186 485 194 0 243 187

N.S.

1 1.00 2.37 1.26 3.28 1.31 0.00 1.64 1.26

time (sec)

N/A 0.249 6.061 2.797 0.217 0.262 0.000 0.352 1.992

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 185 481 118 487 172 2134 266 202

N.S.

1 1.00 2.60 0.64 2.63 0.93 11.54 1.44 1.09

time (sec)

N/A 0.411 2.778 1.967 0.310 0.251 3.718 0.376 1.716

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 385 100 352 153 1261 198 158

N.S.

1 1.00 2.41 0.62 2.20 0.96 7.88 1.24 0.99

time (sec)

N/A 0.357 2.529 1.703 0.293 0.271 2.358 0.301 1.544

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 275 79 235 120 536 151 107

N.S.

1 1.00 2.67 0.77 2.28 1.17 5.20 1.47 1.04

time (sec)

N/A 0.292 1.991 2.041 0.306 0.263 1.464 0.298 1.439

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 175 53 164 95 148 116 113

N.S.

1 1.00 2.43 0.74 2.28 1.32 2.06 1.61 1.57

time (sec)

N/A 0.125 0.901 2.077 0.298 0.260 0.864 0.321 1.518

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 221 79 190 137 0 144 83

N.S.

1 1.00 2.66 0.95 2.29 1.65 0.00 1.73 1.00

time (sec)

N/A 0.223 1.815 2.157 0.220 0.273 0.000 0.340 1.559

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 321 135 287 210 0 186 124

N.S.

1 1.00 2.94 1.24 2.63 1.93 0.00 1.71 1.14

time (sec)

N/A 0.371 2.941 2.502 0.226 0.279 0.000 0.351 1.384

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 578 176 431 252 0 235 191

N.S.

1 1.00 3.50 1.07 2.61 1.53 0.00 1.42 1.16

time (sec)

N/A 0.392 8.460 2.867 0.236 0.269 0.000 0.365 1.540

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 763 217 567 272 0 303 218

N.S.

1 1.00 3.93 1.12 2.92 1.40 0.00 1.56 1.12

time (sec)

N/A 0.423 8.598 2.652 0.220 0.272 0.000 0.347 1.525

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 663 138 547 229 2373 320 259

N.S.

1 1.00 2.80 0.58 2.31 0.97 10.01 1.35 1.09

time (sec)

N/A 0.613 4.909 2.301 0.305 0.280 7.618 0.323 1.470

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

207 207 565 118 411 211 1445 252 214

N.S.

1 1.00 2.73 0.57 1.99 1.02 6.98 1.22 1.03

time (sec)

N/A 0.539 3.297 2.213 0.293 0.271 4.970 0.325 1.420

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 423 97 295 173 665 203 162

N.S.

1 1.00 2.78 0.64 1.94 1.14 4.38 1.34 1.07

time (sec)

N/A 0.512 3.023 1.826 0.301 0.265 3.173 0.330 1.527

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 289 73 205 146 192 153 160

N.S.

1 1.00 2.35 0.59 1.67 1.19 1.56 1.24 1.30

time (sec)

N/A 0.300 2.217 1.900 0.313 0.255 1.878 0.317 1.570

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 109 164 64 179 102 180 115 73

N.S.

1 1.00 1.50 0.59 1.64 0.94 1.65 1.06 0.67

time (sec)

N/A 0.148 1.022 1.904 0.226 0.247 1.312 0.373 1.374

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 276 99 232 193 0 180 134

N.S.

1 1.00 2.23 0.80 1.87 1.56 0.00 1.45 1.08

time (sec)

N/A 0.375 2.749 2.303 0.233 0.264 0.000 0.372 1.603

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 839 155 350 279 0 239 177

N.S.

1 1.00 5.59 1.03 2.33 1.86 0.00 1.59 1.18

time (sec)

N/A 0.552 7.412 2.414 0.229 0.260 0.000 0.339 1.357

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 206 199 493 328 0 288 248

N.S.

1 1.00 0.98 0.95 2.35 1.56 0.00 1.37 1.18

time (sec)

N/A 0.597 3.962 2.898 0.231 0.285 0.000 0.361 1.296

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 246 270 241 630 346 0 356 274

N.S.

1 1.00 1.10 0.98 2.56 1.41 0.00 1.45 1.11

time (sec)

N/A 0.641 3.515 2.852 0.233 0.271 0.000 0.360 1.327

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 245 299 138 474 265 1624 302 283

N.S.

1 1.00 1.22 0.56 1.93 1.08 6.63 1.23 1.16

time (sec)

N/A 0.778 8.945 2.105 0.316 0.294 10.394 0.401 1.578

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 571 118 356 223 746 255 248

N.S.

1 1.00 2.93 0.61 1.83 1.14 3.83 1.31 1.27

time (sec)

N/A 0.742 7.184 1.913 0.298 0.291 6.699 0.387 1.468

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 405 97 286 191 279 220 229

N.S.

1 1.00 2.47 0.59 1.74 1.16 1.70 1.34 1.40

time (sec)

N/A 0.547 6.970 1.788 0.293 0.259 4.160 0.365 1.810

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 239 86 259 135 267 171 99

N.S.

1 1.00 1.61 0.58 1.75 0.91 1.80 1.16 0.67

time (sec)

N/A 0.392 2.955 1.996 0.217 0.270 2.917 0.381 1.584

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 208 90 259 135 264 171 99

N.S.

1 1.00 1.41 0.61 1.75 0.91 1.78 1.16 0.67

time (sec)

N/A 0.201 1.716 1.747 0.219 0.245 2.098 0.325 1.298

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 334 123 313 248 0 248 199

N.S.

1 1.00 2.13 0.78 1.99 1.58 0.00 1.58 1.27

time (sec)

N/A 0.548 4.499 1.989 0.219 0.271 0.000 0.402 1.238

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 185 1190 178 411 348 0 290 252

N.S.

1 1.00 6.43 0.96 2.22 1.88 0.00 1.57 1.36

time (sec)

N/A 0.802 8.743 2.819 0.231 0.276 0.000 0.368 1.405

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 248 271 216 556 402 0 339 318

N.S.

1 1.00 1.09 0.87 2.24 1.62 0.00 1.37 1.28

time (sec)

N/A 0.820 5.744 3.194 0.227 0.277 0.000 0.395 1.619

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 304 257 690 422 0 407 345

N.S.

1 1.00 1.06 0.90 2.40 1.47 0.00 1.42 1.20

time (sec)

N/A 0.849 4.723 2.873 0.233 0.285 0.000 0.404 1.450

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 239 145 152 237 128 0 275 0

N.S.

1 1.00 0.61 0.64 0.99 0.54 0.00 1.15 0.00

time (sec)

N/A 0.610 1.145 6.286 0.433 0.281 0.000 1.779 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 193 114 130 194 108 0 223 0

N.S.

1 1.00 0.59 0.67 1.01 0.56 0.00 1.16 0.00

time (sec)

N/A 0.530 0.597 6.612 0.420 0.265 0.000 0.767 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 86 108 152 87 0 173 0

N.S.

1 1.00 0.59 0.73 1.03 0.59 0.00 1.18 0.00

time (sec)

N/A 0.398 0.347 6.622 0.410 0.288 0.000 0.459 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 67 86 106 67 0 120 0

N.S.

1 1.00 0.64 0.83 1.02 0.64 0.00 1.15 0.00

time (sec)

N/A 0.168 0.197 6.439 0.391 0.266 0.000 0.370 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 84 274 57 142 0 136 0

N.S.

1 1.00 0.84 2.74 0.57 1.42 0.00 1.36 0.00

time (sec)

N/A 0.321 0.220 9.472 0.352 0.270 0.000 0.358 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 95 610 731 163 0 144 0

N.S.

1 1.00 0.97 6.22 7.46 1.66 0.00 1.47 0.00

time (sec)

N/A 0.362 0.308 10.855 0.399 0.320 0.000 0.368 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 111 1118 3352 184 0 208 0

N.S.

1 1.00 0.95 9.56 28.65 1.57 0.00 1.78 0.00

time (sec)

N/A 0.408 0.588 12.830 3.114 0.341 0.000 0.381 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 138 1665 5728 206 0 327 0

N.S.

1 1.00 0.85 10.21 35.14 1.26 0.00 2.01 0.00

time (sec)

N/A 0.511 1.232 14.496 3.281 0.331 0.000 0.404 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

209 209 173 2179 0 226 0 399 0

N.S.

1 1.00 0.83 10.43 0.00 1.08 0.00 1.91 0.00

time (sec)

N/A 0.622 2.065 16.909 0.000 0.422 0.000 0.433 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 243 145 154 252 137 0 291 0

N.S.

1 1.00 0.60 0.63 1.04 0.56 0.00 1.20 0.00

time (sec)

N/A 0.811 1.167 7.437 0.484 0.282 0.000 2.887 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 113 132 205 115 0 237 0

N.S.

1 1.00 0.60 0.71 1.10 0.61 0.00 1.27 0.00

time (sec)

N/A 0.483 0.633 6.273 0.445 0.266 0.000 1.121 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 87 110 159 93 0 183 0

N.S.

1 1.00 0.60 0.76 1.10 0.65 0.00 1.27 0.00

time (sec)

N/A 0.221 0.372 6.263 0.421 0.278 0.000 0.535 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 105 331 93 170 0 213 0

N.S.

1 1.00 0.74 2.33 0.65 1.20 0.00 1.50 0.00

time (sec)

N/A 0.524 0.471 9.663 0.401 0.262 0.000 0.693 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 118 661 1354 192 0 197 0

N.S.

1 1.00 0.82 4.59 9.40 1.33 0.00 1.37 0.00

time (sec)

N/A 0.581 0.544 11.335 0.442 0.301 0.000 0.657 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 127 1154 3339 200 0 239 0

N.S.

1 1.00 0.80 7.26 21.00 1.26 0.00 1.50 0.00

time (sec)

N/A 0.597 0.822 13.316 0.533 0.338 0.000 0.690 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

165 165 139 1668 8879 211 0 339 0

N.S.

1 1.00 0.84 10.11 53.81 1.28 0.00 2.05 0.00

time (sec)

N/A 0.658 1.358 14.570 155.513 0.350 0.000 0.685 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

215 215 174 2180 12526 232 0 414 0

N.S.

1 1.00 0.81 10.14 58.26 1.08 0.00 1.93 0.00

time (sec)

N/A 0.789 3.660 17.173 156.084 0.411 0.000 0.826 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

263 263 208 2683 0 253 0 489 0

N.S.

1 1.00 0.79 10.20 0.00 0.96 0.00 1.86 0.00

time (sec)

N/A 0.874 3.435 16.991 0.000 0.414 0.000 0.849 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 294 180 176 332 172 0 381 0

N.S.

1 1.00 0.61 0.60 1.13 0.59 0.00 1.30 0.00

time (sec)

N/A 1.072 1.535 36.079 0.486 0.291 0.000 11.591 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 147 154 282 148 0 321 0

N.S.

1 1.00 0.64 0.67 1.23 0.65 0.00 1.40 0.00

time (sec)

N/A 0.541 1.116 14.620 0.459 0.266 0.000 3.730 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 114 132 230 124 0 261 0

N.S.

1 1.00 0.62 0.72 1.25 0.67 0.00 1.42 0.00

time (sec)

N/A 0.274 0.686 8.865 0.437 0.263 0.000 1.286 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 182 127 370 139 203 0 308 0

N.S.

1 1.00 0.70 2.03 0.76 1.12 0.00 1.69 0.00

time (sec)

N/A 0.824 0.795 16.941 0.390 0.266 0.000 1.626 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 145 756 8175 225 0 288 0

N.S.

1 1.00 0.79 4.11 44.43 1.22 0.00 1.57 0.00

time (sec)

N/A 1.050 0.866 22.626 0.675 0.278 0.000 1.745 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

199 199 153 1244 11782 232 0 307 0

N.S.

1 1.00 0.77 6.25 59.21 1.17 0.00 1.54 0.00

time (sec)

N/A 1.000 1.135 68.248 3.508 0.333 0.000 1.902 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

207 207 156 1724 16106 235 0 388 0

N.S.

1 1.00 0.75 8.33 77.81 1.14 0.00 1.87 0.00

time (sec)

N/A 0.885 1.621 193.763 3.870 0.329 0.000 2.323 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

215 215 176 2399 0 244 0 444 0

N.S.

1 1.00 0.82 11.16 0.00 1.13 0.00 2.07 0.00

time (sec)

N/A 0.928 2.066 4.598 0.000 0.408 0.000 2.322 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

261 261 210 2879 0 267 0 525 0

N.S.

1 1.00 0.80 11.03 0.00 1.02 0.00 2.01 0.00

time (sec)

N/A 1.037 3.014 5.547 0.000 0.402 0.000 2.406 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

311 311 242 3358 0 290 0 606 0

N.S.

1 1.00 0.78 10.80 0.00 0.93 0.00 1.95 0.00

time (sec)

N/A 1.128 4.198 6.145 0.000 0.397 0.000 2.590 0.000

[next] [prev] [prev-tail] [front] [up]